Logic programming

Results: 2694



#Item
551

Domain Independent Propagation Thierry Le Provost and Mark Wallace Abstract Recent years have seen the emergence of two main approaches to integrating constraints into logic programming. The CLP Scheme introduces

Add to Reading List

Source URL: eclipseclp.org

Language: English - Date: 2015-04-07 08:54:20
    552

    Online appendix for the paper Relative Expressiveness of Defeasible Logics II published in Theory and Practice of Logic Programming Michael J. Maher School of Engineering and Information Technology

    Add to Reading List

    Source URL: seit.unsw.adfa.edu.au

    Language: English - Date: 2013-06-21 01:02:06
      553

      Exercise 4 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term

      Add to Reading List

      Source URL: www.cs.bath.ac.uk

      - Date: 2012-01-04 14:11:24
        554

        WFLPA Generic Semantics for Constraint Functional Logic Programming Emilio Jes´ us Gallego Ariasa,1 ,2

        Add to Reading List

        Source URL: www.cri.ensmp.fr

        Language: English - Date: 2015-04-21 07:32:52
          555

          Exercise 1 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term

          Add to Reading List

          Source URL: www.cs.bath.ac.uk

          Language: English - Date: 2012-01-04 14:11:17
            556

            J. LOGIC PROGRAMMING 1994:19, 20:1{THE SEMANTICS OF CONSTRAINT LOGIC PROGRAMS

            Add to Reading List

            Source URL: seit.unsw.adfa.edu.au

            Language: English - Date: 2006-09-14 01:09:12
              557

              COMUNICAZIONE E LIVELLO DI FIDUCIA IN DALI, UN LINGUAGGIO LOGICO ORIENTATO AGLI AGENTI COMMUNICATION AND TRUST IN DALI, AN AGENT-ORIENTED LOGIC PROGRAMMING LANGUAGE1 Stefania Costantini Arianna Tocchio Alessia Verticchio

              Add to Reading List

              Source URL: costantini.di.univaq.it

              Language: English - Date: 2009-11-30 06:18:26
                558

                Exercises for the Course Logic Programming Engineering (Author Dr. W. Nauber) Dr P. Bruscoli, Peter Steinke, Amin Timany Practical session 6

                Add to Reading List

                Source URL: www.cs.bath.ac.uk

                Language: English - Date: 2012-01-04 14:16:05
                  559

                  From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark

                  Add to Reading List

                  Source URL: www.imm.dtu.dk

                  Language: English - Date: 2003-04-22 05:25:40
                    560

                    Exercise 6 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term

                    Add to Reading List

                    Source URL: www.cs.bath.ac.uk

                    Language: English - Date: 2012-01-22 13:00:19
                      UPDATE